منابع مشابه
Making Research Tools Accessible for All AI Students
The AI community is constantly creating and improving sophisticated tools for visualizing, understanding, and investigating AI algorithms. Because these tools are designed by and for researchers, they do not always present a welcoming interface to students learning the discipline for the first time. This paper presents a set of short assignments that scaffold three freely available libraries of...
متن کاملMaking Mathematics Fun , Accessible , and
The theme of this year's conference is “Making Mathematics Fun, Accessible and Challenging through Technology”. Version 6 of Mathematica, released in May 2007, is instantly interactive, allowing teachers and students to easily construct live interfaces to illustrate and investigate mathematical concepts at all levels [1]. Over 2000 examples of these interactive capabilities, including a number ...
متن کاملMaking Legacy Data Accessible for Xml Applications
This paper presents design and implementation of DB2XML, a tool for transforming data from relational databases into XML documents. Document type declarations (DTDs) are generated describing the characteristics of the data making the documents self contained and usable as a data exchange format. DB2XML is written in Java and accesses databases through JDBC drivers. It can be used as a standalon...
متن کاملDigitalkoot: Making Old Archives Accessible Using Crowdsourcing
In this paper, we present Digitalkoot, a system for fixing errors in the Optical Character Recognition (OCR) process of old texts through the use of human computation. By turning the work into simple games, we are able to attract a great number of volunteers to donate their time and cognitive capacity for the cause. Our analysis shows how untrained people can reach very high accuracy through th...
متن کاملXBarnacle: Making Theorem Provers More Accessible
XBarnacle was built to meet the challenge of incorporating interactive features in the automated theorem prover CLAM whilst preserving the advantages of automation. Many people are not able to use theorem provers to their full strength. The aim of our research is to make semi-automated theorem proving a real possibility for a wide range of people – from those primarily interested in formal spec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Equine Veterinary Journal
سال: 2016
ISSN: 0425-1644
DOI: 10.1111/evj.12642